\input texinfo @c -*-texinfo-*-

@setfilename file   

@bye
